Dynamic Teaching Materials for ESSLLI

In the context of the European Network of Excellence in Computational Logic (CoLogNet, http://www.colognet.org/), the European Association for Logic, Language and Computation (FoLLI, http://www.folli.org) has started a project on E-Learning in Computational Logic and the development of Dynamic Teaching Materials for its annual European Summer Schools (ESSLLIs). The project has a double aim: (i) to enhance the (re)usability of existing ESSLLI teaching materials by creating a richly structured repository; and (ii) to develop dynamic teaching materials for the upcoming ESSLLIs, integrating textual presentation, exercises, and computational tools (theorem provers, parsers) into a user-centered “living book”. This paper presents the background of the project, gives some brief information about ESSLLI and describes the two subtasks in which the project is divided.